// Styles for the menubar (for Windows and Linux)

#menubar {
  span.top-level-item:hover { background-color: #ddd; }
}
